Requirements Variability Support Through MDATM and Graph Transformation
نویسندگان
چکیده
One of the most important factors of success in the development of a software product line is the elicitation, management, and representation of variability. Feature models, are used as a key artifact to express requirements variability and are the basis for the domain architecture design. In this context, this article explores the possible advantages of Model Driven Engineering (MDE) and shows an automated transformation from the feature model to the architecture model. This transformation is understood as a graph transformation process because it offers a natural way to represent model transformations. The transformation is applied by the definition of a simple context-free graph grammar where production rules are obtained from metamodels of both feature and architecture models.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملTowards the Automatic Resolution of Architectural Variability in Software Product Line Architectures through Model Transformations
Modelling variability in software product lines (SPL) development is receiving a lot of attention in current years, building on the idea that product derivation could be automatically derived from a product line through model transformations. Software Product Line development involves the explicit management of variability that has to be encompassed by the software artifacts, in particular by t...
متن کاملTransformation in Smallholder Agriculture through Intensification in Ethiopia: Determinants and Implications
It is a challenge for a farmer with limited resources to decide on the production of commodities and investment in the farm. Transformation of smallholder subsistence agriculture, to market oriented value addition based agriculture is vital for poverty reduction in Ethiopia. This study was initiated to explore the factors which contribute for the adoption of improved wheat and pepper varieties ...
متن کاملConflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation
Feature models are used to specify variability of user-configurable systems as appearing, e.g., in software product lines. Software product lines are supposed to be long-living and, therefore, have to continuously evolve over time to meet ever-changing requirements. Evolution imposes changes to feature models in terms of edit operations. Ensuring consistency of concurrent edits requires appropr...
متن کاملFlexible Service Specification and Matching Based on Feature Models
We propose to use variability techniques from the realm of product lines to help make service specifications more flexible. Feature diagrams provide a high-level model of the essential and optional aspects of services in combination with detailed models of service’s semantics based on visual contracts specified by graph transformation rules. In this way we hope to provide a precise, yet flexibl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 152 شماره
صفحات -
تاریخ انتشار 2006